/******************************************************************************
* This file is part of is32p218 platform,
* Copyright (c) 2009 HangZhou InfoStrong CO.,LTD. All rights reserved.
* This software may only be used under the terms of a valid, current,
* end user license from InfoStrong.
* Nothing else gives you the right to use this software.   
*
* Name:   os_libc.h
* Desc:   OS Lib C Header file
* Author: Jerry
* Date:   2009-10-20
* Note:   
* History:
*
******************************************************************************/
#include "isOS.h"

#ifndef __OS_LIBC_H__
#define __OS_LIBC_H__

#ifdef __cplusplus
extern "C" {
#endif

void *isOS_memcpy( void * s1, const void * s2, isOS_U32 n);
isOS_S32 isOS_memcmp( const void * s1, const void * s2, isOS_U32 n);
void *isOS_memset(void *s, isOS_S32 c, isOS_U32 n);
isOS_U32 isOS_strlen(const char *s);

#ifdef __cplusplus
}
#endif

#endif // end __OS_LIBC_H__

